#!/bin/sh

# Local configuration.  If you want to be able to specify it, copy this
# file from sample.local-config to local-config.

DEBUG="--debug 1"
#DEBUG="--debug 0"
#DEBUG="--debug 2"
#MAXTIME="--max-time-per-stage 5"
#MAXTIME="--max-time-per-stage 10"
#MAXTIME="--max-time-per-stage 300"

